/* exists for libcxx - the mutex support includes this even when disabled */